Distributed service composition
نویسندگان
چکیده
In this paper we explore the use of action systems for distributed service composition Distributed systems can be composed out of a basic compu tation and a set of services Even though this way of designing a system out of components helps in managing the derivation task formal descrip tion techniques are needed due to the complexity of distributed systems We propose a method where services or features as they are often called are speci ed in isolation by the service provider The services when available are used by clients in a distributed manner Reasoning about the services and their interactions with each other and with the basic computation of the clients is carried out within the re nement calculus To exemplify the proposed methodology we study feature composition and feature interaction in telecommunications software
منابع مشابه
Dynamic Service Composition in SOA and QoS Related Issues
Service Oriented Architecture (SOA) is a modern approach to build distributed application and greatly reduce the time, effort and cost to develop the software projects. SOA provides the dynamic paradigm for composing distributed application even in heterogeneous environments. The dynamic composition feature in SOA makes evaluation of a QoS a major challenge. The goal of our paper is to study ap...
متن کاملDefining and Prototyping a Life-cycle for Dynamic Service Composition
Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and widespread system. One such paradigm is service-orientation, which enables the provision of software functionality as services, allowing in this way the construction of distributed systems with loosely coupled parts. The Service-Or...
متن کاملChemical Programming of Future Service-oriented Architectures
Service-based infrastructures are shaping tomorrow’s distributed computing systems by allowing the design of loosely-coupled distributed applications based on the composition of services spread over a set of resources available on the Internet. Compared to previous approaches such as remote procedure call, distributed objects or components, this new paradigm makes feasible the loose coupling of...
متن کاملSocially Aware Discovery Approach Supporting Service Composition
Service composition provides a promising solution to integrate service components and business process, enabling cooperation with new partners. It increasingly relies on multiple service providers to fulfill a given complex business goal. Despite significant progress, most approaches of service composition are still impractical and almost unusable, because the current methods of service composi...
متن کاملDistributed Agent-Based Web Service Selection, Composition and Analysis through Partial Deduction
In order to facilitate agile business and support online partnership formation, many modern information systems are designed to support interoperability. This tendency has become mainstream with advancements in distributed systems and is supported by the Internet and industrial standards (or standard proposals) like XML, WSDL, SOAP and BPEL. However, increasing complexity of distributed informa...
متن کامل